Computer aided synthesis: a game theoretic approach

In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.Comment: Invitation contribution for conference "Developments in Language Theory" (DLT 2017

Diversity of sympathetic vasoconstrictor pathways and their plasticity after spinal cord injury

Sympathetic vasoconstrictor pathways pass through paravertebral ganglia carrying ongoing and reflex activity arising within the central nervous system to their vascular targets. The pattern of reflex activity is selective for particular vascular beds and appropriate for the physiological outcome (vasoconstriction or vasodilation). The preganglionic signals are distributed to most postganglionic neurones in ganglia via synapses that are always suprathreshold for action potential initiation (like skeletal neuromuscular junctions). Most postganglionic neurones receive only one of these “strong” inputs, other preganglionic connections being ineffective. Pre- and postganglionic neurones discharge normally at frequencies of 0.5–1 Hz and maximally in short bursts at <10 Hz. Animal experiments have revealed unexpected changes in these pathways following spinal cord injury. (1) After destruction of preganglionic neurones or axons, surviving terminals in ganglia sprout and rapidly re-establish strong connections, probably even to inappropriate postganglionic neurones. This could explain aberrant reflexes after spinal cord injury. (2) Cutaneous (tail) and splanchnic (mesenteric) arteries taken from below a spinal transection show dramatically enhanced responses in vitro to norepinephrine released from perivascular nerves. However the mechanisms that are modified differ between the two vessels, being mostly postjunctional in the tail artery and mostly prejunctional in the mesenteric artery. The changes are mimicked when postganglionic neurones are silenced by removal of their preganglionic input. Whether or not other arteries are also hyperresponsive to reflex activation, these observations suggest that the greatest contribution to raised peripheral resistance in autonomic dysreflexia follows the modifications of neurovascular transmission

Influences of Forest Structure, Climate and Species Composition on Tree Mortality across the Eastern US

Few studies have quantified regional variation in tree mortality, or explored whether species compositional changes or within-species variation are responsible for regional patterns, despite the fact that mortality has direct effects on the dynamics of woody biomass, species composition, stand structure, wood production and forest response to climate change. Using Bayesian analysis of over 430,000 tree records from a large eastern US forest database we characterised tree mortality as a function of climate, soils, species and size (stem diameter). We found (1) mortality is U-shaped vs. stem diameter for all 21 species examined; (2) mortality is hump-shaped vs. plot basal area for most species; (3) geographical variation in mortality is substantial, and correlated with several environmental factors; and (4) individual species vary substantially from the combined average in the nature and magnitude of their mortality responses to environmental variation. Regional variation in mortality is therefore the product of variation in species composition combined with highly varied mortality-environment correlations within species. The results imply that variation in mortality is a crucial part of variation in the forest carbon cycle, such that including this variation in models of the global carbon cycle could significantly narrow uncertainty in climate change predictions

Identification of features of electronic prescribing systems to support quality and safety in primary care using a modified Delphi process

<p>Abstract</p> <p>Background</p> <p>Electronic prescribing is increasingly being used in primary care and in hospitals. Studies on the effects of e-prescribing systems have found evidence for both benefit and harm. The aim of this study was to identify features of e-prescribing software systems that support patient safety and quality of care and that are useful to the clinician and the patient, with a focus on improving the quality use of medicines.</p> <p>Methods</p> <p>Software features were identified by a literature review, key informants and an expert group. A modified Delphi process was used with a 12-member multidisciplinary expert group to reach consensus on the expected impact of the features in four domains: patient safety, quality of care, usefulness to the clinician and usefulness to the patient. The setting was electronic prescribing in general practice in Australia.</p> <p>Results</p> <p>A list of 114 software features was developed. Most of the features relate to the recording and use of patient data, the medication selection process, prescribing decision support, monitoring drug therapy and clinical reports. The expert group rated 78 of the features (68%) as likely to have a high positive impact in at least one domain, 36 features (32%) as medium impact, and none as low or negative impact. Twenty seven features were rated as high positive impact across 3 or 4 domains including patient safety and quality of care. Ten features were considered "aspirational" because of a lack of agreed standards and/or suitable knowledge bases.</p> <p>Conclusions</p> <p>This study defines features of e-prescribing software systems that are expected to support safety and quality, especially in relation to prescribing and use of medicines in general practice. The features could be used to develop software standards, and could be adapted if necessary for use in other settings and countries.</p

Global and regional brain metabolic scaling and its functional consequences

Background: Information processing in the brain requires large amounts of metabolic energy, the spatial distribution of which is highly heterogeneous reflecting complex activity patterns in the mammalian brain. Results: Here, it is found based on empirical data that, despite this heterogeneity, the volume-specific cerebral glucose metabolic rate of many different brain structures scales with brain volume with almost the same exponent around -0.15. The exception is white matter, the metabolism of which seems to scale with a standard specific exponent -1/4. The scaling exponents for the total oxygen and glucose consumptions in the brain in relation to its volume are identical and equal to $0.86\pm 0.03$, which is significantly larger than the exponents 3/4 and 2/3 suggested for whole body basal metabolism on body mass. Conclusions: These findings show explicitly that in mammals (i) volume-specific scaling exponents of the cerebral energy expenditure in different brain parts are approximately constant (except brain stem structures), and (ii) the total cerebral metabolic exponent against brain volume is greater than the much-cited Kleiber's 3/4 exponent. The neurophysiological factors that might account for the regional uniformity of the exponents and for the excessive scaling of the total brain metabolism are discussed, along with the relationship between brain metabolic scaling and computation.Comment: Brain metabolism scales with its mass well above 3/4 exponen

Current challenges in software solutions for mass spectrometry-based quantitative proteomics

This work was in part supported by the PRIME-XS project, grant agreement number 262067, funded by the European Union seventh Framework Programme; The Netherlands Proteomics Centre, embedded in The Netherlands Genomics Initiative; The Netherlands Bioinformatics Centre; and the Centre for Biomedical Genetics (to S.C., B.B. and A.J.R.H); by NIH grants NCRR RR001614 and RR019934 (to the UCSF Mass Spectrometry Facility, director: A.L. Burlingame, P.B.); and by grants from the MRC, CR-UK, BBSRC and Barts and the London Charity (to P.C.

Modular Mass Spectrometric Tool for Analysis of Composition and Phosphorylation of Protein Complexes

The combination of high accuracy, sensitivity and speed of single and multiple-stage mass spectrometric analyses enables the collection of comprehensive sets of data containing detailed information about complex biological samples. To achieve these properties, we combined two high-performance matrix-assisted laser desorption ionization mass analyzers in one modular mass spectrometric tool, and applied this tool for dissecting the composition and post-translational modifications of protein complexes. As an example of this approach, we here present studies of the Saccharomyces cerevisiae anaphase-promoting complexes (APC) and elucidation of phosphorylation sites on its components. In general, the modular concept we describe could be useful for assembling mass spectrometers operating with both matrix-assisted laser desorption ionization (MALDI) and electrospray ionization (ESI) ion sources into powerful mass spectrometric tools for the comprehensive analysis of complex biological samples

Patterns and drivers of tree Mortality in Iberian Forests: climatic effects are modified by competition

Tree mortality is a key process underlying forest dynamics and community assembly. Understanding how tree mortality is driven by simultaneous drivers is needed to evaluate potential effects of climate change on forest composition. Using repeat-measure information fromc.400,000 trees from the Spanish Forest Inventory, we quantified the relative importance of tree size, competition, climate and edaphic conditions on tree mortality of 11 species, and explored the combined effect of climate and competition. Tree mortality was affected by all of these multiple drivers, especially tree size and asymmetric competition, and strong interactions between climate and competition were found. All species showed L-shaped mortality patterns (i.e. showed decreasing mortality with tree size), but pines were more sensitive to asymmetric competition than broadleaved species. Among climatic variables, the negative effect of temperature on tree mortality was much larger than the effect of precipitation. Moreover, the effect of climate (mean annual temperature and annual precipitation) on tree mortality was aggravated at high competition levels for all species, but especially for broadleaved species. The significant interaction between climate and competition on tree mortality indicated that global change in Mediterranean regions, causing hotter and drier conditions and denser stands, could lead to profound effects on forest structure and composition. Therefore, to evaluate the potential effects of climatic change on tree mortality, forest structure must be considered, since two systems of similar composition but different structure could radically differ in their response to climatic conditions